Hyppää hakukenttään
Hyppää sivun pääsisältöön
Hyppää saavutettavuusselosteeseen
Tiedejatutkimus.fi
Valikko
Suomeksi
På svenska
In English
Etusivu
Haku
Tiede- ja innovaatiopolitiikka
Tiede- ja tutkimusuutiset
Suomeksi
- 1395 hakutulosta
Julkaisut
1395
Rahoitushaut
0
Myönnetty rahoitus
3
Tutkijat
0
Aineistot
0
Infrastruktuurit
0
Organisaatiot
0
Hankkeet
0
Julkaisut -
1 395
hakutulosta
Hyppää hakutuloksiin
Näytä kuvana
Rajaa hakua
Näytetään tulokset 1 - 10 / 1395
10
50
100
tulosta / sivu
Mitä
julkaisu
tietoja palvelu sisältää?
Icon
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
Julkaisujen tiedon ikoni
Formal
Verification
of Safety Automation Logic Designs
Vertaisarvioitu
Avoin saatavuus
Valkonen, Janne; Koskimies, Matti; Björkman, Kim; Heljanko, Keijo; Niemelä, Ilkka; Hämäläinen, Jari
Suomen automaatioseura. Julkaisusarja
2009
Julkaisujen tiedon ikoni
Formal
Modelling and
Verification
of Cooperative Ant Behaviour in Event-B
Vertaisarvioitu
DOI
10.1007/978-3-319-10431-7_29
Linas Laibinis; Elena Troubitsyna; Z Graja; F Migeon; AH Kacem
Software Engineering and
Formal
Methods (SEFM 2014)
2014
Julkaisujen tiedon ikoni
Formal
Verification
of IEC 61499 Enhanced with Timed Events
Vertaisarvioitu
DOI
10.1007/978-3-030-45124-0_16
Shatrov, Viktor; Vyatkin, Valeriy
IFIP Advances in Information and Communication Technology
2020
Julkaisujen tiedon ikoni
Formal
Verification
of Stateful Services with REST APIs Using Event-B
Vertaisarvioitu
DOI
10.1109/ICWS.2018.00024
Irum Rauf; Inna Vistbakka; Elena Troubitsyna
2018 IEEE International Conference on Web Services (ICWS)
2018
Julkaisujen tiedon ikoni
Counterexample-Guided Simulation Framework for
Formal
Verification
of Flexible Automation Systems
Vertaisarvioitu
Patil, Sandeep; Vyatkin, Valeriy; Pang, Cheng
-
2015
Julkaisujen tiedon ikoni
Formal
verification
of observers supervising a cyber-physical system implemented using IEC 61499
Vertaisarvioitu
DOI
10.1109/ISIE51358.2023.10228148
Ovsiannikova, Polina; Priol, Etienne Le; Perret, Vincent; Jhunjhunwala, Pranay; Xavier, Midhun; Vyat...
Proceedings of the IEEE International Symposium on Industrial Electronics
2023
Julkaisujen tiedon ikoni
Plant Model Generator from Digital Twin for Purpose of
Formal
Verification
Vertaisarvioitu
Avoin saatavuus
DOI
10.1109/ETFA45728.2021.9613704
Xavier, Midhun; Håkansson, Johannes; Patil, Sandeep; Vyatkin, Valeriy
Proceedings IEEE International Conference on Emerging Technologies and Factory Automation
2021
Julkaisujen tiedon ikoni
Formal
Verification
of Safety I&C System Designs: Two Nuclear Power Plant Related Applications
Vertaisarvioitu
Valkonen, Janne; Koskimies, Matti; Pettersson, Ville; Heljanko, Keijo; Holmberg, Jan-Erik; Niemelä, ...
Enlarged Halden Programme Group Meeting, EHPG 2008
2008
Julkaisujen tiedon ikoni
Formal
Verification
of Cyber-Physical Automation Systems Modelled with Timed Block Diagrams
Vertaisarvioitu
DOI
10.1109/ISIE.2016.7744910
Drozdov, Dmitrii; Patil, Sandeep; Dubinin, Victor; Vyatkin, Valeriy
Proceedings of the IEEE International Symposium on Industrial Electronics
2016
Julkaisujen tiedon ikoni
Formal
verification
of misbinding attacks on secure device pairing and bootstrapping
Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.jisa.2020.102461
Peltonen, Aleksi; Sethi, Mohit; Aura, Tuomas
Journal of Information Security and Applications
2020
Formal
Verification
of Safety Automation Logic Designs
Vertaisarvioitu
Avoin saatavuus
2009
Formal
Modelling and
Verification
of Cooperative Ant Behaviour in Event-B
Vertaisarvioitu
DOI
10.1007/978-3-319-10431-7_29
2014
Formal
Verification
of IEC 61499 Enhanced with Timed Events
Vertaisarvioitu
DOI
10.1007/978-3-030-45124-0_16
2020
Formal
Verification
of Stateful Services with REST APIs Using Event-B
Vertaisarvioitu
DOI
10.1109/ICWS.2018.00024
2018
Counterexample-Guided Simulation Framework for
Formal
Verification
of Flexible Automation Systems
Vertaisarvioitu
2015
Formal
verification
of observers supervising a cyber-physical system implemented using IEC 61499
Vertaisarvioitu
DOI
10.1109/ISIE51358.2023.10228148
2023
Plant Model Generator from Digital Twin for Purpose of
Formal
Verification
Vertaisarvioitu
Avoin saatavuus
DOI
10.1109/ETFA45728.2021.9613704
2021
Formal
Verification
of Safety I&C System Designs: Two Nuclear Power Plant Related Applications
Vertaisarvioitu
2008
Formal
Verification
of Cyber-Physical Automation Systems Modelled with Timed Block Diagrams
Vertaisarvioitu
DOI
10.1109/ISIE.2016.7744910
2016
Formal
verification
of misbinding attacks on secure device pairing and bootstrapping
Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.jisa.2020.102461
2020
Edellinen
1
2
3
4
5
Seuraava
Näytetään tulokset 1 - 10 / 1395
Sivu 1
Sort
